Exact completion and type-theoretic structures
- Författare
- Stockholms universitet Jacopo Emmenegger
- (Jacopo Emmenegger., At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 1: Manuscript. Paper 2: Manuscript. Paper 3: Manuscript. Paper 4: Manuscript., Härtill 4 uppsatser, Diss. (sammanfattning) Stockholm : Stockholms universitet, 2019)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Stockholm University | 2019 | Sverige, Stockholm | 27 sidor illustrationer | 978-91-7797-526-7 |